Goal Directed Discovery and Explanation in Particle Physics

This paper describes a goal directed discovery system, TREV, which models the disvery of certain quantum properties and conservation laws by physicists in thi.~ century. The program is directed by consistency and completeness constraints, and has the capability of improving and revising its domain theory, and of explaining its knowledge state by these constraints. TREV is capable of formulating new elementary particles and particle reactions, and proposing observations to test their existence. The program can also generate exclusion hypotheses, and can revise its knowledge base in accordance with observational data.